The Lydia Approach to Combinational Model-Based Diagnosis
نویسندگان
چکیده
Lydia is a framework for Model-Based Diagnosis (MBD). We have used the Safari diagnostic reasoner (part of Lydia) to solve the synthetic track problems in the DXC’09 diagnostic challenge. In this paper we describe our approach.
منابع مشابه
Simulation-Based Design Error Diagnosis and Correction in Combinational Digital Circuits
This paper describes an approach to design error diagnosis and correction in combinational digital circuits. Our approach targets small errors introduced during the design process or due to specification changes. We incrementally use simulation to identify suspect nets, and then attempt correction based on our error model. We use multiple iterations to handle multiple errors. Experimental resul...
متن کاملDynamic Fault Diagnosis on Recon gurable Hardware
In this paper, we introduce a new approach for locating and diagnosing faults in combinational circuits. The approach is based on automatically designing a circuit which implements a closest-match fault location algorithm specialized for the combinational circuit under diagnosis (CUD). This approach eliminates the need for large storage required by a software based fault diagnosis. In this pape...
متن کاملCombinational approach using solid dispersion and semi-solid matrix technology to enhance in vitro dissolution of telmisartan
The present investigation was focused to formulate semi-solid capsules (SSCs) of hydrophobic drug telmisartan (TLMS) by encapsulating semi-solid matrix of its solid dispersion (SD) in HPMC capsules. The combinational approach was used to reduce the lag time in drug release and improvise its dissolution. SDs of TLMS was prepared using hot fusion method by varying the combinations of Pluronic-F68...
متن کاملمقایسه ارزش تشخیصی مدل شبکه عصبی مصنوعی با آزمایش های متداول در شناسایی موارد مشکوک به آپاندیسیت حاد
Background and purpose: Diagnosis of acute appendicitis can be difficult due to similarity of symptoms to many abdominal diseases. Delayed diagnosis could expose the patient to serious conditions. In this study we compared the Artificial Neural Network (ANN) models and conventional laboratory tests in diagnosis of appendicitis. Materials and methods: The study population included 100 patients ...
متن کاملPresenting a three-objective model in location-allocation problems using combinational interval full-ranking and maximal covering with backup model
Covering models have found many applications in a wide variety of real-world problems; nevertheless, some assumptions of covering models are not realistic enough. Accordingly, a general approach would not be able to answer the needs of encountering varied aspects of real-world considerations. Assumptions like the unavailability of servers, uncertainty, and evaluating more factors at the same ti...
متن کامل